Previous Next Tracker index See it online !

(65/185) 152 - Updater: smart update

I'd think that the Updater plugin is intended to update the one jEdit installation and configuration the Updater has been launched from.

So, the Updater plugin should ask the installer to:
- use the given jEdit settings directory
- use the given jEdit Home (resp. program) directory
- don't let the user change these directories

(See related request for installer #2878349)

Submitted	rschwenn - 2009-10-13 22:54:46	Assigned	ezust
Priority	5	Labels
Status	open	Group
Resolution	None

Comments

2017-12-30 16:46:35.109000 ezust	- assigned_to: Alan Ezust - Group: -->
2017-12-30 16:51:27.759000 ezust	What does it mean for the installer to use the given settings directory? The startup script is what determines / overrides the settings directory and updater just needs the location of the startup script. The jEdit home directory is the default value that is already used for Updater's options, so the user does not need to set it.
2017-12-30 16:52:42.753000 ezust	the "installation directory" seems totally unnecessary as a user-configurable text field in those options however, so it might make sense to remove it?